新世代プログラミング――新しいプログラミング・スタイルと高語①――Concurrent Prolog(3)